<?php
	$root = $_SERVER['DOCUMENT_ROOT'];
	include($root . "/util/session.php");//checks that the user is logged in
	include($root . "/util/privilege_check.php");
	checkPrivilege("admin");
	if(!empty($_GET['msg'])){
		$msg=$_GET['msg'];
	}
?>
<html>
	<head>
		<title>Admin Menu</title>
  		<link rel="stylesheet" type="text/css" href="adminStyle.css">
	</head>
	<body>
  		<?php
  		include($root . "/admin/header.php");
		?>
		<div style = "font-size:14px; color:#33cc33; margin-top:10px"><?php
			if(isset($msg)){
				echo $msg;
			} ?>
		</div>
		<div id="menu">
			<ul>
				<li><a href="/admin/useradd.php">Add a new user</a></li>
				<li><a href="/admin/userlist.php">List existing users</a></li>
				<li><a href="/admin/degreeAdd.php">Add a degree</a></li>
				<li><a href="/admin/degreeList.php">List degrees</a></li>
			</ul>
		</div>
		<?php
  		include($root . "/admin/footer.php");
		?>
	</body>
</html>
